object_class->get_property = gdk_device_tool_get_property;
/**
- * GdkDeviceTool:serial:
+ * GdkDeviceTool:serial: (attributes org.gtk.Property.get=gdk_device_tool_get_serial)
*
* The serial number of the tool.
*/
G_PARAM_STATIC_STRINGS);
/**
- * GdkDeviceTool:tool-type:
+ * GdkDeviceTool:tool-type: (attributes org.gtk.Property.get=gdk_device_tool_get_tool_type)
*
* The type of the tool.
*/
G_PARAM_STATIC_STRINGS);
/**
- * GdkDeviceTool:axes:
+ * GdkDeviceTool:axes: (attributes org.gtk.Property.get=gdk_device_tool_get_axes)
*
* The axes of the tool.
*/
G_PARAM_CONSTRUCT_ONLY);
/**
- * GdkDeviceTool:hardware-id:
+ * GdkDeviceTool:hardware-id: (attributes org.gtk.Property.get=gdk_device_tool_get_hardware_id)
*
* The hardware ID of the tool.
*/
}
/**
- * gdk_device_tool_get_serial:
+ * gdk_device_tool_get_serial: (attributes org.gtk.Method.get_property=serial)
* @tool: a `GdkDeviceTool`
*
* Gets the serial number of this tool.
}
/**
- * gdk_device_tool_get_hardware_id:
+ * gdk_device_tool_get_hardware_id: (attributes org.gtk.Method.get_property=hardware-id)
* @tool: a `GdkDeviceTool`
*
* Gets the hardware ID of this tool, or 0 if it's not known.
}
/**
- * gdk_device_tool_get_tool_type:
+ * gdk_device_tool_get_tool_type: (attributes org.gtk.Method.get_property=tool-type)
* @tool: a `GdkDeviceTool`
*
* Gets the `GdkDeviceToolType` of the tool.
}
/**
- * gdk_device_tool_get_axes:
+ * gdk_device_tool_get_axes: (attributes org.gtk.Method.get_property=axes)
* @tool: a `GdkDeviceTool`
*
* Gets the axes of the tool.